Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems

Services implemented through information and communication technology need to provide value for customers, with whom they usually have non-trivial interaction. However, user interface and (Web) service specifications are often disconnected. The most widely used Web services are stateless, hence only trivial user interaction with one-step input and output can be embedded in such a service. Remembering the state is a prerequisite for implementing non-trivial user interaction with a service. We present new stateful SOA-conformant services as building blocks for interactive software systems. This new kind of service has a unified high-level protocol both for (non-trivial) user interaction with a machine and for machine-machine communication. Services with the same protocol can substitute each other (also dynamically at runtime), whether they are machine or user services. Using such services as building blocks, interactive software systems can be composed, also recursively. As a matter of fact, from such service specifications (graphical) user interfaces for non-trivial interaction can be automatically generated

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification

Task- and artefact-centric business process models (BPMs) are mostly used in isolation. This entails, e.g., problems with formal and automated verification of BPMs through model checking. We address this gap through semantic task specification, which is transferred from more widely known semantic service specification. In summary, we present a new and systematic approach for connecting a task-centric BPM (in BPMN) with a model of an artefact-centric object life cycle through semantic task specification. As a consequence, we achieve a seamless approach for formal and automated verification of BPMs using model checking

Height and timing of growth spurt during puberty in young people living with vertically acquired HIV in Europe and Thailand.

OBJECTIVE: The aim of this study was to describe growth during puberty in young people with vertically acquired HIV. DESIGN: Pooled data from 12 paediatric HIV cohorts in Europe and Thailand. METHODS: One thousand and ninety-four children initiating a nonnucleoside reverse transcriptase inhibitor or boosted protease inhibitor based regimen aged 1-10 years were included. Super Imposition by Translation And Rotation (SITAR) models described growth from age 8 years using three parameters (average height, timing and shape of the growth spurt), dependent on age and height-for-age z-score (HAZ) (WHO references) at antiretroviral therapy (ART) initiation. Multivariate regression explored characteristics associated with these three parameters. RESULTS: At ART initiation, median age and HAZ was 6.4 [interquartile range (IQR): 2.8, 9.0] years and -1.2 (IQR: -2.3 to -0.2), respectively. Median follow-up was 9.1 (IQR: 6.9, 11.4) years. In girls, older age and lower HAZ at ART initiation were independently associated with a growth spurt which occurred 0.41 (95% confidence interval 0.20-0.62) years later in children starting ART age 6 to 10 years compared with 1 to 2 years and 1.50 (1.21-1.78) years later in those starting with HAZ less than -3 compared with HAZ at least -1. Later growth spurts in girls resulted in continued height growth into later adolescence. In boys starting ART with HAZ less than -1, growth spurts were later in children starting ART in the oldest age group, but for HAZ at least -1, there was no association with age. Girls and boys who initiated ART with HAZ at least -1 maintained a similar height to the WHO reference mean. CONCLUSION: Stunting at ART initiation was associated with later growth spurts in girls. Children with HAZ at least -1 at ART initiation grew in height at the level expected in HIV negative children of a comparable age

Quantification of uncertainties in global grazing systems assessments

Livestock systems play a key role in global sustainability challenges like food security and climate change, yet, many unknowns and large uncertainties prevail. We present a systematic, spatially explicit assessment of uncertainties related to grazing intensity (GI), a key metric for assessing ecological impacts of grazing, by combining existing datasets on a) grazing feed intake, b) the spatial distribution of livestock, c) the extent of grazing land, and d) its net primary productivity (NPP). An analysis of the resulting 96 maps implies that on average 15% of the grazing land NPP is consumed by livestock. GI is low in most of worlds grazing lands but hotspots of very high GI prevail in 1% of the total grazing area. The agreement between GI maps is good on one fifth of the world's grazing area, while on the remainder it is low to very low. Largest uncertainties are found in global drylands and where grazing land bears trees (e.g., the Amazon basin or the Taiga belt). In some regions like India or Western Europe massive uncertainties even result in GI > 100% estimates. Our sensitivity analysis indicates that the input-data for NPP, animal distribution and grazing area contribute about equally to the total variability in GI maps, while grazing feed intake is a less critical variable. We argue that a general improvement in quality of the available global level datasets is a precondition for improving the understanding of the role of livestock systems in the context of global environmental change or food security

Protecting 30% of the planet for nature: costs, benefits and economic implications

A. Waldron, K. Nakamura, J. Sze, T. Vilela, A. Escobedo, P. Negret Torres, R. Button, K. Swinnerton, A. Toledo, P. Madgwick, N. Mukherjee were supported by National Geographic and the Resources Legacy Fund. V. Christensen was supported by NSERC Discovery Grant RGPIN-2019-04901. M. Coll and J. Steenbeek were supported by EU Horizon 2020 research and innovation programme under grant agreement No 817578 (TRIATLAS). D. Leclere was supported by TradeHub UKRI CGRF project. R. Heneghan was supported by Spanish Ministry of Science, Innovation and Universities, Acciones de Programacion Conjunta Internacional (PCIN-2017-115). M. di Marco was supported by MIUR Rita Levi Montalcini programme. A. Fernandez-Llamazares was supported by Academy of Finland (grant nr. 31176). S. Fujimori and T. Hawegawa were supported by The Environment Research and Technology Development Fund (2-2002) of the Environmental Restoration and Conservation Agency of Japan and the Sumitomo Foundation. V. Heikinheimo was supported by Kone Foundation, Social Media for Conservation project. K. Scherrer was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No 682602. U. Rashid Sumaila acknowledges the OceanCanada Partnership, which funded by the Social Sciences and Humanities Research Council of Canada (SSHRC). T. Toivonen was supported by Osk. Huttunen Foundation & Clare Hall college, Cambridge. W. Wu was supported by The Environment Research and Technology Development Fund (2-2002) of the Environmental Restoration and Conservation Agency of Japan. Z. Yuchen was supported by a Ministry of Education of Singapore Research Scholarship Block (RSB) Research Fellowship

Working paper analysing the economic implications of the proposed 30% target for areal protection in the draft post-2020 Global Biodiversity Framewor

58 pages, 5 figures, 3 tables- The World Economic Forum now ranks biodiversity loss as a top-five risk to the global economy, and the draft post-2020 Global Biodiversity Framework proposes an expansion of conservation areas to 30% of the earth’s surface by 2030 (hereafter the “30% target”), using protected areas (PAs) and other effective area-based conservation measures (OECMs). - Two immediate concerns are how much a 30% target might cost and whether it will cause economic losses to the agriculture, forestry and fisheries sectors. - Conservation areas also generate economic benefits (e.g. revenue from nature tourism and ecosystem services), making PAs/Nature an economic sector in their own right. - If some economic sectors benefit but others experience a loss, high-level policy makers need to know the net impact on the wider economy, as well as on individual sectors. [...]A. Waldron, K. Nakamura, J. Sze, T. Vilela, A. Escobedo, P. Negret Torres, R. Button, K. Swinnerton, A. Toledo, P. Madgwick, N. Mukherjee were supported by National Geographic and the Resources Legacy Fund. V. Christensen was supported by NSERC Discovery Grant RGPIN-2019-04901. M. Coll and J. Steenbeek were supported by EU Horizon 2020 research and innovation programme under grant agreement No 817578 (TRIATLAS). D. Leclere was supported by TradeHub UKRI CGRF project. R. Heneghan was supported by Spanish Ministry of Science, Innovation and Universities, Acciones de Programacion Conjunta Internacional (PCIN-2017-115). M. di Marco was supported by MIUR Rita Levi Montalcini programme. A. Fernandez-Llamazares was supported by Academy of Finland (grant nr. 311176). S. Fujimori and T. Hawegawa were supported by The Environment Research and Technology Development Fund (2-2002) of the Environmental Restoration and Conservation Agency of Japan and the Sumitomo Foundation. V. Heikinheimo was supported by Kone Foundation, Social Media for Conservation project. K. Scherrer was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No 682602. U. Rashid Sumaila acknowledges the OceanCanada Partnership, which funded by the Social Sciences and Humanities Research Council of Canada (SSHRC). T. Toivonen was supported by Osk. Huttunen Foundation & Clare Hall college, Cambridge. W. Wu was supported by The Environment Research and Technology Development Fund (2-2002) of the Environmental Restoration and Conservation Agency of Japan. Z. Yuchen was supported by a Ministry of Education of Singapore Research Scholarship Block (RSB) Research FellowshipPeer reviewe

EuReCa ONE—27 Nations, ONE Europe, ONE Registry A prospective one month analysis of out-of-hospital cardiac arrest outcomes in 27 countries in Europe

AbstractIntroductionThe aim of the EuReCa ONE study was to determine the incidence, process, and outcome for out of hospital cardiac arrest (OHCA) throughout Europe.MethodsThis was an international, prospective, multi-centre one-month study. Patients who suffered an OHCA during October 2014 who were attended and/or treated by an Emergency Medical Service (EMS) were eligible for inclusion in the study. Data were extracted from national, regional or local registries.ResultsData on 10,682 confirmed OHCAs from 248 regions in 27 countries, covering an estimated population of 174 million. In 7146 (66%) cases, CPR was started by a bystander or by the EMS. The incidence of CPR attempts ranged from 19.0 to 104.0 per 100,000 population per year. 1735 had ROSC on arrival at hospital (25.2%), Overall, 662/6414 (10.3%) in all cases with CPR attempted survived for at least 30 days or to hospital discharge.ConclusionThe results of EuReCa ONE highlight that OHCA is still a major public health problem accounting for a substantial number of deaths in Europe.EuReCa ONE very clearly demonstrates marked differences in the processes for data collection and reported outcomes following OHCA all over Europe. Using these data and analyses, different countries, regions, systems, and concepts can benchmark themselves and may learn from each other to further improve survival following one of our major health care events

The Eighteenth Data Release of the Sloan Digital Sky Surveys: Targeting and First Spectra from SDSS-V

The eighteenth data release of the Sloan Digital Sky Surveys (SDSS) is the first one for SDSS-V, the fifth generation of the survey. SDSS-V comprises three primary scientific programs, or "Mappers": Milky Way Mapper (MWM), Black Hole Mapper (BHM), and Local Volume Mapper (LVM). This data release contains extensive targeting information for the two multi-object spectroscopy programs (MWM and BHM), including input catalogs and selection functions for their numerous scientific objectives. We describe the production of the targeting databases and their calibration- and scientifically-focused components. DR18 also includes ~25,000 new SDSS spectra and supplemental information for X-ray sources identified by eROSITA in its eFEDS field. We present updates to some of the SDSS software pipelines and preview changes anticipated for DR19. We also describe three value-added catalogs (VACs) based on SDSS-IV data that have been published since DR17, and one VAC based on the SDSS-V data in the eFEDS field.Comment: Accepted to ApJ